#include<stdio.h>
int main()
{
	long long n;
	scanf("%lld",&n);
	int s,f,m;
	m=n/1000%60;
	n/=1000;
	f=n/60%60;
	n/=3600;
	s=n%24;
	printf("%02d:%02d:%02d",s,f,m);
	return 0;
}
